/**
 * @see <a href="spec.html">Java Spec</a>
 */
class C{}